Skip to content

fix(log): update type annotations#164

Merged
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
sravioli:fix/log
May 12, 2026
Merged

fix(log): update type annotations#164
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
sravioli:fix/log

Conversation

@sravioli

Copy link
Copy Markdown
Contributor

Source(s)


Description (Optional)

Updated types for the log.wz plugin

@sravioli sravioli requested a review from DrKJeff16 as a code owner May 11, 2026 08:18
@DrKJeff16 DrKJeff16 self-assigned this May 12, 2026
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request plugin This concerns annotations for a WezTerm plugin. labels May 12, 2026
@DrKJeff16 DrKJeff16 moved this to In Progress in @wezterm-types Roadmap May 12, 2026
@DrKJeff16 DrKJeff16 merged commit 4e862f8 into DrKJeff16:main May 12, 2026
1 check passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in @wezterm-types Roadmap May 12, 2026
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label May 12, 2026
@DrKJeff16 DrKJeff16 added this to the v4.1.0-1 milestone May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! plugin This concerns annotations for a WezTerm plugin.

Projects

Development

Successfully merging this pull request may close these issues.

2 participants